Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
نویسندگان
چکیده
منابع مشابه
1987- Revised Dependency-directed Backtracking for Default Reasoning
Default reasoning is a useful inference technique which involves choosing a single context in which further inferences are to be made. If this choice is incorrect, the context may need to be switched. Dependency-directed backtracking provides a method for such context switching. Doyle’s algorithm for dependency-directed backtracking is revised to allow context switching to be guided by the call...
متن کاملClassifications and Properties of Materials for Chairside Computer-Aided Design/Computer-Aided Manufacturing Dentistry: A Review
Background and Aim: Chairside computer-aided design/computer-aided manufacturing (CAD/CAM) systems have become considerably more accurate, reliable, efficient, fast, and prevalent since 1985 when CEREC was introduced. The inceptive restorative material option for chairside CAD/CAM restorations was limited to ceramic blocks. Today, restorative material options have been multiplied and include me...
متن کاملNon-Deterministic Lisp with Dependency-directed Backtracking
Extending functional Lisp with McCarthy’s nondeterministic operator AHFJ yields a language which can concisely express search problems. Dependencydirected backtracking is a powerful search strategy. We describe a non-deterministic Lisp dialect called SCHEMER and show that it can provide automatic dependency-directed backtracking. The resulting language provides a convenient interface to this ef...
متن کاملA New Computer-Aided Detection System for Pulmonary Nodule in CT Scan Images of Cancerous Patients
Introduction: In the lung cancers, a computer-aided detection system that is capable of detecting very small glands in high volume of CT images is very useful.This study provided a novelsystem for detection of pulmonary nodules in CT image. Methods: In a case-control study, CT scans of the chest of 20 patients referred to Yazd Social Security Hospital were examined. In the two-dimensional and ...
متن کاملsimulation and design of electronic processing circuit for restaurants e-procurement system
the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1977
ISSN: 0004-3702
DOI: 10.1016/0004-3702(77)90029-7